Self-Stabilization in Membrane Systems
نویسندگان
چکیده
1 Università degli Studi di Milano-Bicocca Dipartimento di Informatica, Sistemistica e Comunicazione Viale Sarca 336, 20126 Milano, Italy E-mail: {artiom.alhazov,marco.antoniotti, alberto.leporati,giancarlo.mauri}@unimib.it 2 Institute of Mathematics and Computer Science Academy of Sciences of Moldova Academiei 5, Chişinău MD-2028 Moldova E-mail: [email protected] 3 Faculty of Informatics, Vienna University of Technology Favoritenstr. 9, 1040 Vienna, Austria E-mail: [email protected]
منابع مشابه
Vehicle Stabilization via a Self-Tuning Optimal Controller
Nowadays, using advanced vehicle control and safety systems in vehicles is growing rapidly. In this regard, in recent years new control systems, called VDC, have been introduced. These systems stabilize vehicle yaw motion, by yaw moment resulted from tire controlling forces. In this paper, an adaptive optimal controller applied to a vehicle to obtain a satisfactory lateral and yaw stability. To...
متن کاملA new switching strategy for exponential stabilization of uncertain discrete-time switched linear systems in guaranteed cost control problem
Uncertain switched linear systems are known as an important class of control systems. Performance of these systems is affected by uncertainties and its stabilization is a main concern of recent studies. Existing work on stabilization of these systems only provides asymptotical stabilization via designing switching strategy and state-feedback controller. In this paper, a new switching strate...
متن کاملRobust stabilization of a class of three-dimensional uncertain fractional-order non-autonomous systems
This paper concerns the problem of robust stabilization of uncertain fractional-order non-autonomous systems. In this regard, a single input active control approach is proposed for control and stabilization of three-dimensional uncertain fractional-order systems. The robust controller is designed on the basis of fractional Lyapunov stability theory. Furthermore, the effects of model uncertai...
متن کاملDelay-dependent robust stabilization and $H_{infty}$ control for uncertain stochastic T-S fuzzy systems with multiple time delays
In this paper, the problems of robust stabilization and$H_{infty}$ control for uncertain stochastic systems withmultiple time delays represented by the Takagi-Sugeno (T-S) fuzzymodel have been studied. By constructing a new Lyapunov-Krasovskiifunctional (LKF) and using the bounding techniques, sufficientconditions for the delay-dependent robust stabilization and $H_{infty}$ control scheme are p...
متن کاملModel Checking Self-Stabilising in Embedded Systems with Linear Temporal Logic
Over the past two decades, the use of distributed embedded systems is wide in many applications. One way to guarantee that these systems tolerate transient faults is done by making them self-stabilizing systems, which automatically recover from any transient fault. In this paper we present a formalism of self-stabilization concept based on Linear Temporal Logic (LTL), and model checked the self...
متن کاملAnalysis of Self-Stabilization for Infinite-State Systems
For a variety of infinite-state systems, the problem of deciding whether a given system is self-stabilizing or not is investigated from the decidability viewpoint. We develop a unified strategy through which checking self-stabilization is shown to be decidable for lossy vector addition systems with states, one-counter machines, and conflict-free Petri nets. For lossy counter machines and lossy ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- The Computer Science Journal of Moldova
دوره 20 شماره
صفحات -
تاریخ انتشار 2012